theorem 12.1.1 class 9